Predications, Fast and Slow
نویسنده
چکیده
Notions of predication based on extensional and intensional subsumption, as described by Woods, are related to Kahneman’s systems of thinking fast and slow. Path-based reasoning with links is applied to predication over not only individuals but (following Carlson) kinds and stages/time. Predications, fast and slow, are formulated in monadic secondorder logic over strings, analyzed in Goguen and Burstall’s institutions.
منابع مشابه
Role of slow pathway after nodal fast pathway ablation on the basic and rate- dependent properties of the isolated rabbit atrioventricularNode
Introduction : The aim of this study is to obtain new insight into possible relation between functional properties of slow concealed pathway and rate-dependent properties of AV-node. Methods : Rate-dependent nodal properties of recovery, facilitation, and fatigue were characterized by stimulation protocols in one groups of (N=7) isolated superfused AV-Nodal rabbits. Small miniature lesions ...
متن کاملEffect of progressive resistance exercise on β1 integrin and vinculin protein levels in slow-and fast-twitch skeletal muscles of male rats
Introduction: Skeletal muscle is a flexible and ever changing tissue and the role of costameric proteins in its response to different stimuli is not well defined. The aim of this study was to investigate the effect of progressive resistance exercise on β1 integrin and vinculin proteins in fast and slow twitch skeletal muscles of male rats. Methods: Twelve male Wistar rats (weight: 298±5.2 gr...
متن کاملEffects of tripolar TENS of vertebral column on slow and fast motor units: A preliminary study using H-reflex recovery curve method
Introduction: Effect of tripolar TENS of vertebral column on slow and fast motoneurons (MNs) activity of soleus muscle was previously investigated. In this study for better differentiation of the behavior of slow and fast MNs, we exploited H-reflex recovery curve recording in two muscles of soleus and lateral gastrocnemius, respectively as the representatives of slow and fast muscles. Meth...
متن کاملThe Effect of Intensive Endurance Activity on Myocyte Enhancer Factor 2C Gene Expression of Slow and Fast Twitch Muscles in Male Wistar Rats: An Experimental Study
Background and Objectives: Myocyte enhancer factor 2c activates the genes of the slow-twitch muscle, the muscle which plays role in endurance activity. Therefore, the aim of this study was to evaluate the effect of a program of intensive endurance activity on MEF2c gene expression in fast and slow twitch skeletal muscles in wistar rats. Materials and Methods: In this experimental study, 14 mal...
متن کاملFrequency-dependent electrophysiological properties of concealed slow pathway of isolated rabbit atrioventricular node preparation after fast pathway ablation in a functional model
Introduction: Intranodal pathways of atrioventricular (AV) node play a vital role in the delay of conduction time in response to various atrial inputs. The present study was aimed to determine the frequency-dependent electrophysiological properties of concealed slow pathway according to a functional model of isolated rabbit atrioventricular node preparation after fast pathway ablation. Meth...
متن کامل